Summary

• Rewrite intro tagline: "A type-safe query language for source code. Query in, typed data out."
• Remove transactions claims (not implemented, may stay external)
• Add simple example before complex tagged unions in Language design
• Replace detailed roadmap with concise Status section
• Update CLI command list (add exec, trace)
• Clarify supported languages (15 bundled, 60+ available)
• Fix broken #roadmap → #status link

Test plan

• Verify simple example works: plotnik exec -q 'Functions = (program {(function_declaration name: (identifier) @name :: string)}* @functions)' -s 'function foo() {} function bar() {}' -l javascript